Can we speed this up?

Monotonicity Analysis Can Speed Up Verification

We introduce a strategy for the verification of relational specifications based on the analysis of monotonicity of variables within formulas. By comparing with the Alloy Analyzer, we show that for a relevant class of problems this technique outperforms analysis of the same problems using SAT-solvers, while consuming a fraction of the memory SAT-solvers require.

Varying environments can speed up evolution.

Simulations of biological evolution, in which computers are used to evolve systems toward a goal, often require many generations to achieve even simple goals. It is therefore of interest to look for generic ways, compatible with natural conditions, in which evolution in simulations can be speeded. Here, we study the impact of temporally varying goals on the speed of evolution, defined as the nu...

Can we spice up our Christmas dinner?

BACKGROUND Monosodium glutamate (MSG), also referred to as Vetsin or E621, is a flavour enhancer frequently used in Asian cuisine and abundantly present in the famous Chinese dish Peking duck. MSG is notorious for triggering the onset of the so-called 'Chinese restaurant syndrome' (CRS), a complex of unpleasant symptoms, which might include flushing, sweating and the onset of atrial fibrillatio...

Runaway TB epidemic--can we catch up?

CAPTCHA and Accessibility - Is This the Best We Can Do?

Web access is affected by a great amount of accessibility issues that do not allow some users to access all information presented. Therefore, Web accessibility is an important issue because everybody should access Web content independently of their access features. Among these accessibility issues, a Web content element that interferes with Web accessibility is a CAPTCHA. A CAPTCHA is a challen...